Alizadeh, Bijan: шукати на сайті Z-Library

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (78)
Найпопулярніші
Перелік
- Перелік
- Таблиця

Floor tile glass-ceramic glaze for improvement of glaze surface properties

Bijan Eftekhari Yekta, Parvin Alizadeh, Leila Rezazadeh

Журнал:

Journal of the European Ceramic Society

Рік:

2006

Мова:

english

Файл:

PDF, 278 KB

english, 2006

FPGA-Based Implementation of a Novel Method for Estimating the Brillouin Frequency Shift in BOTDA and BOTDR Sensors

Abbasnejad, Mojtaba, Alizadeh, Bijan

Журнал:

IEEE Sensors Journal

Рік:

2017

Мова:

english

Файл:

PDF, 2.29 MB

english, 2017

Fuzzy logic-based generalized decision theory with imperfect information

Rafik Aliev, Witold Pedrycz, Bijan Fazlollahi, O.H. Huseynov, A.V. Alizadeh, B.G. Guirimov

Журнал:

Information Sciences

Рік:

2012

Мова:

english

Файл:

PDF, 1.11 MB

english, 2012

[IEEE 2010 15th Asia and South Pacific Design Automation Conference ASP-DAC 2010 - Taipei, Taiwan (2010.01.18-2010.01.21)] 2010 15th Asia and South Pacific Design Automation Conference (ASP-DAC) - Guided gate-level ATPG for sequential circuits using a high-level test generation approach

Alizadeh, Bijan, Fujita, Masahiro

Рік:

2010

Мова:

english

Файл:

PDF, 183 KB

english, 2010

[IEEE 2011 IEEE International Symposium on Circuits and Systems (ISCAS) - Rio de Janeiro, Brazil (2011.05.15-2011.05.18)] 2011 IEEE International Symposium of Circuits and Systems (ISCAS) - Early case splitting and false path detection to improve high level ATPG techniques

Alizadeh, Bijan, Fujita, Masahiro

Рік:

2011

Мова:

english

Файл:

PDF, 393 KB

english, 2011

[IEEE 2014 International Conference on Field-Programmable Technology (FPT) - Shanghai, China (2014.12.10-2014.12.12)] 2014 International Conference on Field-Programmable Technology (FPT) - Highly scalable, shared-memory, Monte-Carlo tree search based Blokus Duo Solver on FPGA

Qasemi, Ehsan, Samadi, Amir, Shadmehr, Mohammad H., Azizian, Bardia, Mozaffari, Sajjad, Shirian, Amir, Alizadeh, Bijan

Рік:

2014

Мова:

english

Файл:

PDF, 4.58 MB

english, 2014

Incremental SAT-based Accurate Auto-correction of Sequential Circuits through Automatic Test Pattern Generation

Alizadeh, Bijan, Sharafinejad, Seyyed Reza

Журнал:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Рік:

2018

Мова:

english

Файл:

PDF, 1.41 MB

english, 2018

FPGA-based Implementation of a Real-Time Object Recognition System using Convolutional Neural Network

Gilan, Ali Azarmi, Emad, Mohammad, Alizadeh, Bijan

Журнал:

IEEE Transactions on Circuits and Systems II: Express Briefs

Рік:

2019

Мова:

english

Файл:

PDF, 1.07 MB

english, 2019

FPGA-based Implementation of a Real-Time Object Recognition System using Convolutional Neural Network

Gilan, Ali Azarmi, Emad, Mohammad, Alizadeh, Bijan

Журнал:

IEEE Transactions on Circuits and Systems II: Express Briefs

Рік:

2019

Файл:

PDF, 1.07 MB

2019

PODEM: A low-cost property-based design modification for detecting Hardware Trojans in resource-constraint IoT devices

Shabani, Ahmad, Alizadeh, Bijan

Журнал:

Journal of Network and Computer Applications

Рік:

2020

Файл:

PDF, 2.76 MB

2020

Sintering behavior and mechanical properties of the mica–diopside machinable glass-ceramics

Parvin Alizadeh, Bijan Eftekhari Yekta, Tannaz Javadi

Журнал:

Journal of the European Ceramic Society

Рік:

2008

Мова:

english

Файл:

PDF, 865 KB

english, 2008

Electrochemical study of thermodynamics of interaction of lysozyme with sodium dodecyl sulfate in binary ethanol–water mixtures

Naader Alizadeh, Bijan Ranjbar, Morteza Mahmodian

Журнал:

Colloids and Surfaces A: Physicochemical and Engineering Aspects

Рік:

2003

Мова:

english

Файл:

PDF, 245 KB

english, 2003

[IEEE 2011 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Napa Valley, CA, USA (2011.11.9-2011.11.11)] 2011 IEEE International High Level Design Validation and Test Workshop - Modular equivalence verification of polynomial datapaths with multiple word-length operands

Alizadeh, Bijan, Fujita, Masahiro

Рік:

2011

Мова:

english

Файл:

PDF, 553 KB

english, 2011

[IEEE 2010 International Conference on Field-Programmable Technology (FPT) - Beijing, China (2010.12.8-2010.12.10)] 2010 International Conference on Field-Programmable Technology - A debugging method for repairing post-silicon bugs of high performance processors in the fields

Alizadeh, Bijan, Fujita, Masahiro

Рік:

2010

Мова:

english

Файл:

PDF, 116 KB

english, 2010

[IEEE 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2010.11.7-2010.11.11)] 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Polynomial datapath optimization using constraint solving and formal modelling

Haedicke, Finn, Alizadeh, Bijan, Fey, Gourschwin, Fujita, Masahiro, Drechsler, Rolf

Рік:

2010

Мова:

english

Файл:

PDF, 521 KB

english, 2010

[IEEE 2012 17th Asia and South Pacific Design Automation Conference (ASP-DAC) - Sydney, Australia (2012.01.30-2012.02.2)] 17th Asia and South Pacific Design Automation Conference - A formal approach to debug polynomial datapath designs

Alizadeh, Bijan

Рік:

2012

Мова:

english

Файл:

PDF, 130 KB

english, 2012

[IEEE 2012 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Huntington Beach, CA, USA (2012.11.9-2012.11.10)] 2012 IEEE International High Level Design Validation and Test Workshop (HLDVT) - A functional test generation technique for RTL datapaths

Alizadeh, Bijan, Fujita, Masahiro

Рік:

2012

Мова:

english

Файл:

PDF, 544 KB

english, 2012

Formal equivalence verification and debugging techniques with auto-correction mechanism for RTL designs

Alizadeh, Bijan, Behnam, Payman

Журнал:

Microprocessors and Microsystems

Рік:

2013

Мова:

english

Файл:

PDF, 1.83 MB

english, 2013

A New Approach for Automatic Test Pattern Generation in Register Transfer Level Circuits

Mirzaei, Mohammad, Tabandeh, Mahmoud, Alizadeh, Bijan, Navabi, Zainalabedin

Журнал:

IEEE Design and Test

Рік:

2013

Мова:

english

Файл:

PDF, 453 KB

english, 2013

[IEEE Conference Publications Design Automation and Test in Europe - Dresden, Germany (2014.03.24-2014.03.28)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014 - Dynamic Flip-Flop conversion to tolerate process variation in low power circuits

Nejat, Mehrzad, Alizadeh, Bijan, Afzali-Kusha, Ali

Рік:

2014

Мова:

english

Файл:

PDF, 457 KB

english, 2014

[IEEE Conference Publications Design Automation and Test in Europe - Dresden, Germany (2014.03.24-2014.03.28)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014 - Dynamic Flip-Flop conversion to tolerate process variation in low power circuits

Nejat, Mehrzad, Alizadeh, Bijan, Afzali-Kusha, Ali

Рік:

2014

Мова:

english

Файл:

PDF, 457 KB

english, 2014

[IEEE 2013 11th East-West Design and Test Symposium (EWDTS) - Rostov-on-Don, Russia (2013.09.27-2013.09.30)] East-West Design & Test Symposium (EWDTS 2013) - A probabilistic approach for counterexample generation to aid design debugging

Behnam, Payman, Sabaghian-Bidgoli, Hossein, Alizadeh, Bijan, Mohajerani, Kamyar, Navabi, Zainalabedin

Рік:

2013

Мова:

english

Файл:

PDF, 205 KB

english, 2013

[IEEE 2014 19th IEEE European Test Symposium (ETS) - Paderborn, Germany (2014.5.26-2014.5.30)] 2014 19th IEEE European Test Symposium (ETS) - Improving polynomial datapath debugging with HEDs

Sadeghi-Kohan, Somayeh, Behnam, Payman, Alizadeh, Bijan, Fujita, Masahiro, Navabi, Zainalabedin

Рік:

2014

Мова:

english

Файл:

PDF, 465 KB

english, 2014

[IEEE 2014 15th International Symposium on Quality Electronic Design (ISQED) - Santa Clara, CA, USA (2014.03.3-2014.03.5)] Fifteenth International Symposium on Quality Electronic Design - RTL datapath optimization using system-level transformations

Ghandali, Samaneh, Alizadeh, Bijan, Fujita, Masahiro, Navabi, Zainalabedin

Рік:

2014

Мова:

english

Файл:

PDF, 411 KB

english, 2014

[IEEE 2011 International Symposium on Quality Electronic Design (ISQED) - Santa Clara, CA, USA (2011.03.14-2011.03.16)] 2011 12th International Symposium on Quality Electronic Design - Debugging and optimizing high performance superscalar out-of-order processors using formal verification techniques

Alizadeh, Bijan, Fujita, Masahiro

Рік:

2011

Мова:

english

Файл:

PDF, 155 KB

english, 2011

[IEEE 2009 IEEE International High Level Design Validation and Test Workshop (HLDVT) - San Francisco, CA, USA (2009.11.4-2009.11.6)] 2009 IEEE International High Level Design Validation and Test Workshop - Modular arithmetic decision procedure with auto-correction mechanism

Alizadeh, Bijan, Fujita, Masahiro

Рік:

2009

Мова:

english

Файл:

PDF, 551 KB

english, 2009

[IEEE 2007 IEEE International High Level Design Validation and Test Workshop - Irvine, CA, USA (2007.11.7-2007.11.9)] 2007 IEEE International High Level Design Validation and Test Workshop - A novel formal approach to generate high-level test vectors without ILP and SAT solvers

Alizadeh, Bijan, Fujita, Masahiro

Рік:

2007

Мова:

english

Файл:

PDF, 1.66 MB

english, 2007

[IEEE 2014 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) - Tampa, FL, USA (2014.7.9-2014.7.11)] 2014 IEEE Computer Society Annual Symposium on VLSI - A Low-Power Enhanced Bitmask-Dictionary Scheme for Test Data Compression

Janfaza, Vahid, Behnam, Payman, Forouzandeh, Bahjat, Alizadeh, Bijan

Рік:

2014

Мова:

english

Файл:

PDF, 388 KB

english, 2014

[IEEE 2009 International Conference on Field-Programmable Technology (FPT) - Sydney, Australia (2009.12.9-2009.12.11)] 2009 International Conference on Field-Programmable Technology - Optimization of modular multiplication on FPGA using don't care conditions

Alizadeh, Bijan, Fujita, Masahiro

Рік:

2009

Мова:

english

Файл:

PDF, 155 KB

english, 2009

[IEEE 2014 19th IEEE European Test Symposium (ETS) - Paderborn, Germany (2014.5.26-2014.5.30)] 2014 19th IEEE European Test Symposium (ETS) - Automatic correction of certain design errors using mutation technique

Behnam, Payman, Alizadeh, Bijan, Navabi, Zainalabedin

Рік:

2014

Мова:

english

Файл:

PDF, 205 KB

english, 2014

[IEEE 2012 10th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2012) - Arlington, VA, USA (2012.07.16-2012.07.17)] Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012) - Polynomial datapath synthesis and optimization based on vanishing polynomial over Z2m and algebraic techniques

Ghandali, Samaneh, Alizadeh, Bijan, Navabi, Zainalabedin, Fujita, Masahiro

Рік:

2012

Мова:

english

Файл:

PDF, 434 KB

english, 2012

[IEEE 2014 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) - Tampa, FL, USA (2014.7.9-2014.7.11)] 2014 IEEE Computer Society Annual Symposium on VLSI - Effective Combination of Algebraic Techniques and Decision Diagrams to Formally Verify Large Arithmetic Circuits

Farahmandi, Farimah, Alizadeh, Bijan, Navabi, Zain

Рік:

2014

Мова:

english

Файл:

PDF, 338 KB

english, 2014

[IEEE 2014 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT) - Amsterdam, Netherlands (2014.10.1-2014.10.3)] 2014 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT) - Automated formal approach for debugging dividers using dynamic specification

Haghbayan, Mohammad-Hashem, Alizadeh, Bijan, Rahmani, Amir-Mohammad, Liljeberg, Pasi, Tenhunen, Hannu

Рік:

2014

Файл:

PDF, 361 KB

2014

Automatic High-level Data-flow Synthesis and Optimization of Polynomial Datapaths Using Functional Decomposition

Ghandali, Samaneh, Alizadeh, Bijan, Fujita, Masahiro, Navabi, Zainalabedin

Журнал:

IEEE Transactions on Computers

Рік:

2014

Мова:

english

Файл:

PDF, 1.94 MB

english, 2014

[IEEE 2011 3rd Asia Symposium on Quality Electronic Design (ASQED 2011) - Kuala Lumpur, Malaysia (2011.07.19-2011.07.20)] 2011 3rd Asia Symposium on Quality Electronic Design (ASQED) - Symbolic model-based diagnosis with auto-correction framework for arithmetic circuits

Alizadeh, Bijan

Рік:

2011

Мова:

english

Файл:

PDF, 298 KB

english, 2011

Dynamic Flip-Flop Conversion: A Time-Borrowing Method for Performance

Nejat, Mehrzad, Alizadeh, Bijan, Afzali-Kusha, Ali

Журнал:

IEEE Transactions on Very Large Scale Integration (VLSI) Systems

Рік:

2014

Мова:

english

Файл:

PDF, 1.66 MB

english, 2014

[IEEE 2014 22nd Iranian Conference on Electrical Engineering (ICEE) - Tehran, Iran (2014.5.20-2014.5.22)] 2014 22nd Iranian Conference on Electrical Engineering (ICEE) - An analytical dynamic and leakage power model for FPGAs

Mehri, Hossein, Alizadeh, Bijan

Рік:

2014

Мова:

english

Файл:

PDF, 376 KB

english, 2014

Groebner basis based formal verification of large arithmetic circuits using Gaussian elimination and cone-based polynomial extraction

Farahmandi, Farimah, Alizadeh, Bijan

Журнал:

Microprocessors and Microsystems

Рік:

2015

Мова:

english

Файл:

PDF, 1.92 MB

english, 2015

A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs

Alizadeh, Bijan, Behnam, Payman, Sadeghi-kohan, Somayeh

Журнал:

IEEE Transactions on Computers

Рік:

2014

Мова:

english

Файл:

PDF, 642 KB

english, 2014

[IEEE 2015 16th International Symposium on Quality Electronic Design (ISQED) - Santa Clara, CA, USA (2015.3.2-2015.3.4)] Sixteenth International Symposium on Quality Electronic Design - Low power scheduling in high-level synthesis using dual-Vth library

Ghandali, Samaneh, Alizadeh, Bijan, Navabi, Zainalabedin

Рік:

2015

Мова:

english

Файл:

PDF, 268 KB

english, 2015

Engineering of a disulfide loop instead of a Zn binding loop restores the anti-proliferative, anti-angiogenic and anti-tumor activities of the N-terminal fragment of endostatin: Mechanistic and therapeutic insights

Chamani, Reyhane, Asghari, S. Mohsen, Alizadeh, Ali Mohammad, Eskandari, Sedigheh, Mansouri, Kamran, Khodarahmi, Reza, Taghdir, Majid, Heidari, Zahra, Gorji, Ali, Aliakbar, Alireza, Ranjbar, Bijan, Kh

Журнал:

Vascular Pharmacology

Рік:

2015

Мова:

english

Файл:

PDF, 657 KB

english, 2015

[ACM Press the 2006 conference - Yokohama, Japan (2006.01.24-2006.01.27)] Proceedings of the 2006 conference on Asia South Pacific design automation - ASP-DAC '06 - Word level functional coverage computation

Alizadeh, Bijan

Рік:

2006

Мова:

english

Файл:

PDF, 270 KB

english, 2006

Formal Verification and Debugging of Precise Interrupts on High Performance Microprocessors

Alizadeh, Bijan

Журнал:

ACM Transactions on Design Automation of Electronic Systems

Рік:

2012

Мова:

english

Файл:

PDF, 421 KB

english, 2012

[IEEE 2015 IEEE 33rd VLSI Test Symposium (VTS) - Napa, CA, USA (2015.4.27-2015.4.29)] 2015 IEEE 33rd VLSI Test Symposium (VTS) - UPF-based formal verification of low power techniques in modern processors

Sharafinejad, Reza, Alizadeh, Bijan, Fujita, Masahiro

Рік:

2015

Мова:

english

Файл:

PDF, 1.01 MB

english, 2015

[IEEE 2015 IEEE 33rd VLSI Test Symposium (VTS) - Napa, CA, USA (2015.4.27-2015.4.29)] 2015 IEEE 33rd VLSI Test Symposium (VTS) - Signature oriented model pruning to facilitate multi-threaded processors debugging

Refan, Fatemeh, Alizadeh, Bijan, Navabi, Zainalabedin

Рік:

2015

Мова:

english

Файл:

PDF, 495 KB

english, 2015

Analytical performance model for FPGA-based reconfigurable computing

Mehri, Hossein, Alizadeh, Bijan

Журнал:

Microprocessors and Microsystems

Рік:

2015

Мова:

english

Файл:

PDF, 2.49 MB

english, 2015

[IEEE 2015 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) - Montpellier, France (2015.7.8-2015.7.10)] 2015 IEEE Computer Society Annual Symposium on VLSI - A Timing Error Mitigation Technique for High Performance Designs

Ahmadi, Mehrnaz, Alizadeh, Bijan, Forouzandeh, Behjat

Рік:

2015

Мова:

english

Файл:

PDF, 371 KB

english, 2015

[IEEE 2015 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) - Montpellier, France (2015.7.8-2015.7.10)] 2015 IEEE Computer Society Annual Symposium on VLSI - Multi-objective Optimization of Floating Point Arithmetic Expressions Using Iterative Factorization

Mahzoon, Alireza, Alizadeh, Bijan

Рік:

2015

Мова:

english

Файл:

PDF, 242 KB

english, 2015

A dynamic specification to automatically debug and correct various divider circuits

Haghbayan, Mohammad Hashem, Alizadeh, Bijan

Журнал:

Integration, the VLSI Journal

Рік:

2016

Мова:

english

Файл:

PDF, 2.01 MB

english, 2016

Preparation and characterization of mesoporous electrospun (SiO2)0.59(CaO)0.36−x(P2O5)0.05(TiO2)x glasses (x = 0 and 0.05 mol%)

Ghaebi Panah, Neda, Alizadeh, Parvin, Eftekhari Yekta, Bijan

Журнал:

Journal of Porous Materials

Рік:

2016

Мова:

english

Файл:

PDF, 1.39 MB

english, 2016